Integration of UML Views using B Notations
نویسندگان
چکیده
The translation from UML specifications to formal B specifications gives a way to analyse rigorously UML specifications via their corresponding B formal specifications. This point is significant thanks to B support tools. This paper reports our experiences on UML-into-B translation that emphasise on the integration of different kinds of UML diagrams into B specifications.
منابع مشابه
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
Although the diversity of UML diagrams provides users with different views of any complex software under development, in most cases system designers face challenging problems to keeping such diagrams coherently related. In this paper we propose to contribute to the tremendous efforts being undertaken towards rigorous and coherent views of UML-based modelling techniques. In this sense, we propos...
متن کاملOn the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, behavioral aspects need to be handled early in the design process with flexible and concise notations as well as expressive concepts. UML offers different notations and concepts that can help describe such services. Howe...
متن کاملMetamodel-based UML Notations for Domain-specific Languages
We present a metamodel-based approach for specifying uml notations for domain-specific modeling languages. Traditionally, domain specific languages are either defined by uml profiles or using metamodels. We provide a generic integration of these two methods supporting arbitrary uml profiles and metamodels. Our approach provides a bidirectional mapping between the uml notation and the metamodel ...
متن کاملTowards a UML profile for context-awareness domain
Defining Unified Modelling Language (UML) profiles allows adaptation of the UML metamodel for specific domain, area, platform, etc. Context awareness is one of particular domains that need to be well adapted when we use UML language to model specific situations of users and applications. Therefore, it is necessary to create specific modelling notations for this particular domain. In this paper,...
متن کاملSemantic Rules of UML Specification
Abstract— Modeling of a system is an essential process in software development lifecycle (SDLC). It will produce a system artifact called a system model. In object– oriented based software development, a system model can be developed by using Unified Modeling Language (UML). UML is a modeling language for specifying, constructing, and documenting the artifacts of systems. It consists of 13 diag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002